Albert Benveniste , Paul Caspi , Paul
نویسندگان
چکیده
In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the gc common format for synchronous data-ow languages. This work has been supported, through several contracts in the framework of C 2 A{group, by Minist ere de la Recherche et de l'Espace, Minist ere de l'Industrie (SERICS), and Minist ere de la D efense (DRET). This paper has been presented as an invited lecture at the REX Langages a ots de donn ees synchrones R esum e : On pr esente une th eorie des langages a ots de donn ees synchrones. On justiie l'hypoth ese synchrone par la double n ecessit e de m emoire et temps de r eponse born es. Le mod ele que nous proposons prend en compte a la fois les aspects comportementaux et op erationnels. En particulier, l'ex ecution d esyn-chronis ee de programmes synchrones est etudi ee sur le plan fondamental.
منابع مشابه
The Synchronous Languages Twelve Years Later
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The ...
متن کاملData-Flow Synchronous Languages
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to estab...
متن کاملThe synchronous languages 12 years later
Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The pa...
متن کاملHeterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.
متن کاملToward an Approximation Theory for Computerised Control
This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean c...
متن کامل